Without these, the goldfish x86 and x86_64 builds fail. Test: build kernel for goldfish x86 and x86_64 Change-Id: I1cbdbaaa03404975ee51c7420927d605074c93e4 Signed-off-by: Connor O'Brien <connoro@google.com>